2.2.8 Integrals 701 to 800

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F A F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

551 610 47 35 0 0 68 0 0

N.S.

1 1.11 0.09 0.06 0.00 0.00 0.12 0.00 0.00

time (sec)

N/A 0.495 16.284 2.202 0.000 0.000 1.742 0.000 0.000

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F A F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

529 585 40 29 0 0 36 0 27

N.S.

1 1.11 0.08 0.05 0.00 0.00 0.07 0.00 0.05

time (sec)

N/A 0.464 9.916 2.180 0.000 0.000 1.176 0.000 0.255

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

97 97 152 0 0 200 0 0 0

N.S.

1 1.00 1.57 0.00 0.00 2.06 0.00 0.00 0.00

time (sec)

N/A 0.194 0.364 0.000 0.000 1.739 0.000 0.000 0.000

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

634 701 211 0 0 0 0 0 0

N.S.

1 1.11 0.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.563 12.585 0.000 0.000 0.000 0.000 0.000 0.000

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

656 726 223 0 0 0 0 0 0

N.S.

1 1.11 0.34 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.611 18.827 0.000 0.000 0.000 0.000 0.000 0.000

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F A F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

564 645 60 49 0 0 148 0 0

N.S.

1 1.14 0.11 0.09 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.516 10.043 2.298 0.000 0.000 3.327 0.000 0.000

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F A F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

557 625 51 43 0 0 73 0 0

N.S.

1 1.12 0.09 0.08 0.00 0.00 0.13 0.00 0.00

time (sec)

N/A 0.507 10.036 2.367 0.000 0.000 2.354 0.000 0.000

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F A F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

531 596 42 37 0 0 39 0 28

N.S.

1 1.12 0.08 0.07 0.00 0.00 0.07 0.00 0.05

time (sec)

N/A 0.462 9.881 2.491 0.000 0.000 1.388 0.000 9.933

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 109 166 0 0 0 0 0 0

N.S.

1 1.00 1.52 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.190 0.469 0.000 0.000 0.000 0.000 0.000 0.000

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F(-1) F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

650 725 132 0 0 0 0 0 0

N.S.

1 1.12 0.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.599 6.242 0.000 0.000 0.000 0.000 0.000 0.000

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F(-1) F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

676 754 134 0 0 0 0 0 0

N.S.

1 1.12 0.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.614 9.205 0.000 0.000 0.000 0.000 0.000 0.000

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

104 104 172 2447 0 282 0 0 0

N.S.

1 1.00 1.65 23.53 0.00 2.71 0.00 0.00 0.00

time (sec)

N/A 0.191 0.388 23.860 0.000 3.205 0.000 0.000 0.000

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

101 101 168 2422 0 335 0 0 0

N.S.

1 1.00 1.66 23.98 0.00 3.32 0.00 0.00 0.00

time (sec)

N/A 0.179 0.362 23.359 0.000 2.874 0.000 0.000 0.000

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 107 605 0 113 0 0 0

N.S.

1 1.00 1.37 7.76 0.00 1.45 0.00 0.00 0.00

time (sec)

N/A 0.175 0.191 2.193 0.000 0.452 0.000 0.000 0.000

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 105 408 0 115 0 0 0

N.S.

1 1.00 1.38 5.37 0.00 1.51 0.00 0.00 0.00

time (sec)

N/A 0.170 0.153 2.286 0.000 0.454 0.000 0.000 0.000

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F(-1) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

206 141 271 0 0 0 0 0 0

N.S.

1 0.68 1.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.244 1.128 0.000 0.000 0.000 0.000 0.000 0.000

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F(-1) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

278 278 126 0 0 0 0 0 0

N.S.

1 1.00 0.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.576 7.611 0.000 0.000 0.000 0.000 0.000 0.000

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

268 273 233 0 0 0 0 0 0

N.S.

1 1.02 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.499 8.457 0.000 0.000 0.000 0.000 0.000 0.000

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

200 200 108 0 0 0 0 0 0

N.S.

1 1.00 0.54 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 20.654 0.000 0.000 0.000 0.000 0.000 0.000

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F(-2) F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

203 191 72 0 0 0 0 0 0

N.S.

1 0.94 0.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.386 17.062 0.000 0.000 0.000 0.000 0.000 0.000

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 223 379 954 472 1250 15990 2085 1144

N.S.

1 1.00 1.70 4.28 2.12 5.61 71.70 9.35 5.13

time (sec)

N/A 0.421 0.777 2.247 0.198 0.335 4.026 0.311 10.111

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 176 420 235 520 5097 851 496

N.S.

1 1.00 1.26 3.00 1.68 3.71 36.41 6.08 3.54

time (sec)

N/A 0.302 0.252 2.295 0.198 0.308 1.526 0.307 9.789

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 59 100 89 149 952 237 163

N.S.

1 1.00 0.84 1.43 1.27 2.13 13.60 3.39 2.33

time (sec)

N/A 0.222 0.086 2.600 0.196 0.284 0.585 0.300 9.626

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

167 167 145 0 0 0 0 0 0

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.381 0.259 0.000 0.000 0.000 0.000 0.000 0.000

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

304 299 253 0 0 0 0 0 0

N.S.

1 0.98 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.495 0.442 0.000 0.000 0.000 0.000 0.000 0.000

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

472 488 396 0 0 0 0 0 0

N.S.

1 1.03 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.845 1.030 0.000 0.000 0.000 0.000 0.000 0.000

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

154 154 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.307 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 154 159 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.242 0.332 0.000 0.000 0.000 0.000 0.000 0.000

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 154 159 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.254 0.388 0.000 0.000 0.000 0.000 0.000 0.000

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 154 159 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.245 0.551 0.000 0.000 0.000 0.000 0.000 0.000

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 152 157 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.253 0.176 0.000 0.000 0.000 0.000 0.000 0.000

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

178 185 223 0 0 0 437 0 0

N.S.

1 1.04 1.25 0.00 0.00 0.00 2.46 0.00 0.00

time (sec)

N/A 0.353 0.468 0.000 0.000 0.000 6.488 0.000 0.000

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

133 126 133 0 0 0 97 0 0

N.S.

1 0.95 1.00 0.00 0.00 0.00 0.73 0.00 0.00

time (sec)

N/A 0.260 0.284 0.000 0.000 0.000 5.136 0.000 0.000

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 70 98 0 0 0 61 0 65

N.S.

1 1.15 1.61 0.00 0.00 0.00 1.00 0.00 1.07

time (sec)

N/A 0.198 0.144 0.000 0.000 0.000 2.699 0.000 9.958

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

35 44 44 0 0 0 22 0 41

N.S.

1 1.26 1.26 0.00 0.00 0.00 0.63 0.00 1.17

time (sec)

N/A 0.164 0.043 0.000 0.000 0.000 1.292 0.000 9.698

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

125 125 131 0 0 0 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.259 0.264 0.000 0.000 0.000 0.000 0.000 0.000

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

191 191 141 0 0 0 0 0 0

N.S.

1 1.00 0.74 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.382 0.318 0.000 0.000 0.000 0.000 0.000 0.000

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

322 322 142 0 0 0 0 0 0

N.S.

1 1.00 0.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.576 0.388 0.000 0.000 0.000 0.000 0.000 0.000

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

160 160 166 0 0 0 0 0 0

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.260 0.182 0.000 0.000 0.000 0.000 0.000 0.000

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

155 155 160 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.252 0.169 0.000 0.000 0.000 0.000 0.000 0.000

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

209 209 200 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.312 0.225 0.000 0.000 0.000 0.000 0.000 0.000

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

270 270 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.328 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

347 354 0 0 0 0 0 0 0

N.S.

1 1.02 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.424 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

436 456 0 0 0 0 0 0 0

N.S.

1 1.05 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.568 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

559 570 0 0 0 0 0 0 0

N.S.

1 1.02 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.802 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

43 43 48 0 0 0 0 0 0

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.168 0.034 0.000 0.000 0.000 0.000 0.000 0.000

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 65 60 60 65 65 72 60

N.S.

1 1.00 0.78 0.72 0.72 0.78 0.78 0.87 0.72

time (sec)

N/A 0.226 0.010 2.171 0.185 0.274 0.087 0.306 0.058

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 54 49 49 54 53 61 49

N.S.

1 1.00 0.82 0.74 0.74 0.82 0.80 0.92 0.74

time (sec)

N/A 0.206 0.009 2.311 0.188 0.263 0.079 0.289 9.764

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 39 38 38 42 37 49 38

N.S.

1 1.00 0.80 0.78 0.78 0.86 0.76 1.00 0.78

time (sec)

N/A 0.192 0.008 2.278 0.196 0.273 0.071 0.292 0.046

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 27 27 31 26 38 27

N.S.

1 1.00 1.00 0.96 0.96 1.11 0.93 1.36 0.96

time (sec)

N/A 0.167 0.007 2.258 0.195 0.273 0.062 0.270 9.964

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 18 18 20 14 19 18

N.S.

1 1.00 1.00 1.06 1.06 1.18 0.82 1.12 1.06

time (sec)

N/A 0.165 0.005 2.418 0.190 0.264 0.052 0.270 0.042

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 13 13 13 8 14 13

N.S.

1 1.00 1.00 1.08 1.08 1.08 0.67 1.17 1.08

time (sec)

N/A 0.144 0.001 2.632 0.189 0.266 0.023 0.286 0.028

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 47 44 47 49 39 48 31

N.S.

1 1.00 1.34 1.26 1.34 1.40 1.11 1.37 0.89

time (sec)

N/A 0.188 0.015 2.281 0.192 0.283 0.114 0.279 0.080

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 58 54 67 89 58 51 51

N.S.

1 1.00 1.12 1.04 1.29 1.71 1.12 0.98 0.98

time (sec)

N/A 0.198 0.019 2.257 0.197 0.281 0.158 0.278 9.706

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 71 63 90 134 83 70 71

N.S.

1 1.00 1.03 0.91 1.30 1.94 1.20 1.01 1.03

time (sec)

N/A 0.216 0.023 2.334 0.221 0.301 0.207 0.271 0.083

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 82 74 112 178 107 81 93

N.S.

1 1.00 0.95 0.86 1.30 2.07 1.24 0.94 1.08

time (sec)

N/A 0.235 0.026 2.264 0.210 0.302 0.250 0.285 9.661

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 71 65 66 88 65 78 64

N.S.

1 1.00 1.01 0.93 0.94 1.26 0.93 1.11 0.91

time (sec)

N/A 0.221 0.028 2.258 0.198 0.268 0.128 0.293 0.048

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 56 54 55 76 49 66 53

N.S.

1 1.00 1.02 0.98 1.00 1.38 0.89 1.20 0.96

time (sec)

N/A 0.214 0.030 2.276 0.194 0.278 0.123 0.307 9.510

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 45 43 44 65 37 55 42

N.S.

1 1.00 1.02 0.98 1.00 1.48 0.84 1.25 0.95

time (sec)

N/A 0.191 0.028 2.272 0.201 0.297 0.109 0.295 0.048

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 32 32 33 51 26 34 31

N.S.

1 1.00 1.03 1.03 1.06 1.65 0.84 1.10 1.00

time (sec)

N/A 0.187 0.021 2.303 0.203 0.269 0.090 0.296 0.045

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 23 27 28 33 19 29 26

N.S.

1 1.00 0.88 1.04 1.08 1.27 0.73 1.12 1.00

time (sec)

N/A 0.179 0.012 2.654 0.193 0.267 0.077 0.296 9.511

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 13 14 14 10 14 12

N.S.

1 1.00 1.00 1.08 1.17 1.17 0.83 1.17 1.00

time (sec)

N/A 0.148 0.002 2.207 0.199 0.267 0.065 0.274 0.049

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 47 50 47 48 54 37 50 32

N.S.

1 1.31 1.39 1.31 1.33 1.50 1.03 1.39 0.89

time (sec)

N/A 0.171 0.013 2.186 0.197 0.315 0.115 0.303 9.693

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 87 71 90 136 85 79 70

N.S.

1 1.00 1.24 1.01 1.29 1.94 1.21 1.13 1.00

time (sec)

N/A 0.231 0.023 2.362 0.193 0.313 0.208 0.292 0.080

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 75 85 101 150 92 99 82

N.S.

1 1.00 0.86 0.98 1.16 1.72 1.06 1.14 0.94

time (sec)

N/A 0.241 0.045 2.311 0.195 0.337 0.230 0.276 0.085

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 112 96 135 227 133 101 115

N.S.

1 1.00 1.08 0.92 1.30 2.18 1.28 0.97 1.11

time (sec)

N/A 0.262 0.031 2.287 0.199 0.317 0.310 0.283 9.557

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 73 62 75 106 71 76 72

N.S.

1 1.00 1.03 0.87 1.06 1.49 1.00 1.07 1.01

time (sec)

N/A 0.240 0.036 2.275 0.192 0.287 0.186 0.298 0.054

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 62 51 64 95 60 65 61

N.S.

1 1.00 1.03 0.85 1.07 1.58 1.00 1.08 1.02

time (sec)

N/A 0.238 0.032 2.267 0.209 0.329 0.161 0.292 0.054

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 41 42 55 82 48 46 52

N.S.

1 1.00 0.84 0.86 1.12 1.67 0.98 0.94 1.06

time (sec)

N/A 0.195 0.047 2.379 0.218 0.406 0.138 0.268 0.060

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 30 36 49 60 41 40 46

N.S.

1 1.00 0.70 0.84 1.14 1.40 0.95 0.93 1.07

time (sec)

N/A 0.191 0.020 2.779 0.197 0.410 0.137 0.295 9.899

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 11 20 20 17 11 10

N.S.

1 1.00 1.00 1.10 2.00 2.00 1.70 1.10 1.00

time (sec)

N/A 0.143 0.007 2.285 0.222 0.388 0.100 0.280 9.716

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 24 24 24 14 24

N.S.

1 1.00 1.00 0.93 1.60 1.60 1.60 0.93 1.60

time (sec)

N/A 0.148 0.001 2.200 0.181 0.636 0.087 0.305 9.619

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 62 55 67 89 58 60 51

N.S.

1 1.00 1.15 1.02 1.24 1.65 1.07 1.11 0.94

time (sec)

N/A 0.198 0.017 2.240 0.200 0.299 0.169 0.287 0.061

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 77 65 69 90 134 87 79 70

N.S.

1 1.08 0.92 0.97 1.27 1.89 1.23 1.11 0.99

time (sec)

N/A 0.188 0.035 2.152 0.193 0.278 0.207 0.276 9.998

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 87 93 132 216 134 101 113

N.S.

1 1.00 0.83 0.89 1.26 2.06 1.28 0.96 1.08

time (sec)

N/A 0.253 0.047 2.296 0.195 0.278 0.307 0.297 0.109

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 98 104 156 266 158 125 136

N.S.

1 1.00 0.80 0.85 1.28 2.18 1.30 1.02 1.11

time (sec)

N/A 0.281 0.054 2.252 0.199 0.279 0.365 0.284 9.942

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 184 114 105 121 106 165 91 0

N.S.

1 1.06 0.66 0.61 0.70 0.61 0.95 0.53 0.00

time (sec)

N/A 0.283 0.663 2.300 0.283 0.281 0.551 0.302 0.000

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 148 111 94 96 95 150 81 0

N.S.

1 1.06 0.79 0.67 0.69 0.68 1.07 0.58 0.00

time (sec)

N/A 0.261 0.429 2.494 0.309 0.260 0.530 0.298 0.000

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 112 92 83 73 84 138 69 0

N.S.

1 1.05 0.86 0.78 0.68 0.79 1.29 0.64 0.00

time (sec)

N/A 0.213 0.434 2.782 0.285 0.290 0.499 0.315 0.000

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 78 89 72 53 73 114 56 75

N.S.

1 1.03 1.17 0.95 0.70 0.96 1.50 0.74 0.99

time (sec)

N/A 0.183 0.233 2.167 0.269 0.298 0.398 0.292 10.124

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 63 49 31 52 0 36 0

N.S.

1 1.00 1.37 1.07 0.67 1.13 0.00 0.78 0.00

time (sec)

N/A 0.174 0.176 2.272 0.277 0.287 0.000 0.299 0.000

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 63 130 40 66 0 0 0

N.S.

1 1.00 1.17 2.41 0.74 1.22 0.00 0.00 0.00

time (sec)

N/A 0.174 0.379 2.253 0.291 0.274 0.000 0.000 0.000

Problem 783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 40 36 69 66 0 74 35

N.S.

1 1.00 1.21 1.09 2.09 2.00 0.00 2.24 1.06

time (sec)

N/A 0.153 0.389 2.296 0.196 0.289 0.000 0.302 9.712

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 51 43 123 104 0 165 47

N.S.

1 1.00 0.76 0.64 1.84 1.55 0.00 2.46 0.70

time (sec)

N/A 0.180 0.432 2.372 0.195 0.288 0.000 0.289 9.817

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 108 63 55 188 138 0 178 114

N.S.

1 1.08 0.63 0.55 1.88 1.38 0.00 1.78 1.14

time (sec)

N/A 0.216 0.539 2.341 0.196 0.328 0.000 0.283 9.954

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 149 74 66 264 171 0 289 143

N.S.

1 1.12 0.56 0.50 1.98 1.29 0.00 2.17 1.08

time (sec)

N/A 0.249 0.604 2.361 0.218 0.304 0.000 0.296 10.029

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 190 85 77 351 204 0 351 172

N.S.

1 1.14 0.51 0.46 2.11 1.23 0.00 2.11 1.04

time (sec)

N/A 0.284 0.721 2.632 0.191 0.330 0.000 0.287 10.208

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 177 133 116 116 116 177 104 0

N.S.

1 1.08 0.81 0.71 0.71 0.71 1.08 0.63 0.00

time (sec)

N/A 0.276 0.486 2.802 0.303 0.287 0.607 0.291 0.000

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 141 114 105 93 105 163 92 0

N.S.

1 1.08 0.87 0.80 0.71 0.80 1.24 0.70 0.00

time (sec)

N/A 0.228 0.621 2.301 0.285 0.282 0.578 0.332 0.000

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 107 111 94 73 94 143 81 67

N.S.

1 1.07 1.11 0.94 0.73 0.94 1.43 0.81 0.67

time (sec)

N/A 0.205 0.358 2.178 0.323 0.284 0.461 0.283 9.910

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 78 89 72 88 72 134 56 0

N.S.

1 1.03 1.17 0.95 1.16 0.95 1.76 0.74 0.00

time (sec)

N/A 0.183 0.242 2.122 0.271 0.303 1.326 0.282 0.000

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 82 72 61 63 60 0 121 0

N.S.

1 0.96 0.85 0.72 0.74 0.71 0.00 1.42 0.00

time (sec)

N/A 0.192 0.359 2.249 0.273 0.315 0.000 0.298 0.000

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 77 78 94 79 83 0 77 0

N.S.

1 1.01 1.03 1.24 1.04 1.09 0.00 1.01 0.00

time (sec)

N/A 0.198 0.393 2.331 0.282 0.279 0.000 0.281 0.000

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 74 291 127 110 0 86 0

N.S.

1 1.00 0.89 3.51 1.53 1.33 0.00 1.04 0.00

time (sec)

N/A 0.215 0.451 2.345 0.290 0.296 0.000 0.282 0.000

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 41 36 179 96 0 160 37

N.S.

1 1.00 1.24 1.09 5.42 2.91 0.00 4.85 1.12

time (sec)

N/A 0.158 0.484 2.269 0.194 0.272 0.000 0.303 10.409

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 48 43 255 136 0 227 112

N.S.

1 1.00 0.72 0.64 3.81 2.03 0.00 3.39 1.67

time (sec)

N/A 0.209 0.510 2.508 0.224 0.276 0.000 0.286 10.533

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 108 60 55 342 170 0 289 141

N.S.

1 1.08 0.60 0.55 3.42 1.70 0.00 2.89 1.41

time (sec)

N/A 0.222 0.649 2.779 0.197 0.288 0.000 0.293 10.444

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 149 71 66 440 203 0 351 170

N.S.

1 1.12 0.53 0.50 3.31 1.53 0.00 2.64 1.28

time (sec)

N/A 0.267 0.728 2.333 0.221 0.331 0.000 0.295 10.606

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 190 82 77 549 236 0 413 199

N.S.

1 1.14 0.49 0.46 3.31 1.42 0.00 2.49 1.20

time (sec)

N/A 0.283 0.858 2.567 0.211 0.422 0.000 0.300 10.709

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 235 177 160 165 160 231 150 0

N.S.

1 1.11 0.83 0.75 0.78 0.75 1.09 0.71 0.00

time (sec)

N/A 0.321 0.619 2.250 0.282 0.311 0.829 0.290 0.000